
sbt "test:runMain test.ANDtest --target-dir generated/and"

